Spacetime algebraic skeleton

The cosmological constant Lambda, which has seemingly dominated the primaeval Universe evolution and to which recent data attribute a significant present-time value, is shown to have an algebraic content: it is essentially an eigenvalue of a Casimir invariant of the Lorentz group which acts on every tangent space. This is found in the context of de Sitter spacetimes but, as every spacetime is a 4-manifold with Minkowski tangent spaces, the result suggests the existence of a "skeleton" algebraic structure underlying the geometry of general physical spacetimes. Different spacetimes come from the "fleshening" of that structure by different tetrad fields. Tetrad fields, which provide the interface between spacetime proper and its tangent spaces, exhibit to the most the fundamental role of the Lorentz group in Riemannian spacetimes, a role which is obscured in the more usual metric formalism.Comment: 13 page

Closed Expressions for Lie Algebra Invariants and Finite Transformations

A simple procedure to obtain complete, closed expressions for Lie algebra invariants is presented. The invariants are ultimately polynomials in the group parameters. The construction of finite group elements require the use of projectors, whose coefficients are invariant polynomials. The detailed general forms of these projectors are given. Closed expressions for finite Lorentz transformations, both homogeneous and inhomogeneous, as well as for Galilei transformations, are found as examples.Comment: 34 pages, ps file, no figure

A novel evolutionary formulation of the maximum independent set problem

We introduce a novel evolutionary formulation of the problem of finding a maximum independent set of a graph. The new formulation is based on the relationship that exists between a graph's independence number and its acyclic orientations. It views such orientations as individuals and evolves them with the aid of evolutionary operators that are very heavily based on the structure of the graph and its acyclic orientations. The resulting heuristic has been tested on some of the Second DIMACS Implementation Challenge benchmark graphs, and has been found to be competitive when compared to several of the other heuristics that have also been tested on those graphs

Developing frameworks for protocol implementation

This paper presents a method to develop frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be reused in the implementation of various different concrete systems in this domain. The use of frameworks support a protocol implementation process connected with formal design methods and produce an implementation code easy to extend and to reuse

Topics in Born-Infeld Electrodynamics

Classical version of Born-Infeld electrodynamics is recalled and its most important properties discussed. Then we analyze possible abelian and non-abelian generalizations of this theory, and show how certain soliton-like configurations can be obtained. The relationship with the Standard Model of electroweak interactions is also mentioned.Comment: (One new reference added). 15 pages, LaTeX. To be published in the Proceedings of XXXVII Karpacz Winter School edited in the Proceedings Series of American Mathematical Society, editors J. Lukierski and J. Rembielinsk